Optimal. Leaf size=125 \[ -\frac{16 c^2 \left (b x+c x^2\right )^{7/2} (13 b B-6 A c)}{9009 b^4 x^7}+\frac{8 c \left (b x+c x^2\right )^{7/2} (13 b B-6 A c)}{1287 b^3 x^8}-\frac{2 \left (b x+c x^2\right )^{7/2} (13 b B-6 A c)}{143 b^2 x^9}-\frac{2 A \left (b x+c x^2\right )^{7/2}}{13 b x^{10}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.121892, antiderivative size = 125, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.136, Rules used = {792, 658, 650} \[ -\frac{16 c^2 \left (b x+c x^2\right )^{7/2} (13 b B-6 A c)}{9009 b^4 x^7}+\frac{8 c \left (b x+c x^2\right )^{7/2} (13 b B-6 A c)}{1287 b^3 x^8}-\frac{2 \left (b x+c x^2\right )^{7/2} (13 b B-6 A c)}{143 b^2 x^9}-\frac{2 A \left (b x+c x^2\right )^{7/2}}{13 b x^{10}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 792
Rule 658
Rule 650
Rubi steps
\begin{align*} \int \frac{(A+B x) \left (b x+c x^2\right )^{5/2}}{x^{10}} \, dx &=-\frac{2 A \left (b x+c x^2\right )^{7/2}}{13 b x^{10}}+\frac{\left (2 \left (-10 (-b B+A c)+\frac{7}{2} (-b B+2 A c)\right )\right ) \int \frac{\left (b x+c x^2\right )^{5/2}}{x^9} \, dx}{13 b}\\ &=-\frac{2 A \left (b x+c x^2\right )^{7/2}}{13 b x^{10}}-\frac{2 (13 b B-6 A c) \left (b x+c x^2\right )^{7/2}}{143 b^2 x^9}-\frac{(4 c (13 b B-6 A c)) \int \frac{\left (b x+c x^2\right )^{5/2}}{x^8} \, dx}{143 b^2}\\ &=-\frac{2 A \left (b x+c x^2\right )^{7/2}}{13 b x^{10}}-\frac{2 (13 b B-6 A c) \left (b x+c x^2\right )^{7/2}}{143 b^2 x^9}+\frac{8 c (13 b B-6 A c) \left (b x+c x^2\right )^{7/2}}{1287 b^3 x^8}+\frac{\left (8 c^2 (13 b B-6 A c)\right ) \int \frac{\left (b x+c x^2\right )^{5/2}}{x^7} \, dx}{1287 b^3}\\ &=-\frac{2 A \left (b x+c x^2\right )^{7/2}}{13 b x^{10}}-\frac{2 (13 b B-6 A c) \left (b x+c x^2\right )^{7/2}}{143 b^2 x^9}+\frac{8 c (13 b B-6 A c) \left (b x+c x^2\right )^{7/2}}{1287 b^3 x^8}-\frac{16 c^2 (13 b B-6 A c) \left (b x+c x^2\right )^{7/2}}{9009 b^4 x^7}\\ \end{align*}
Mathematica [A] time = 0.0316817, size = 86, normalized size = 0.69 \[ -\frac{2 (b+c x)^3 \sqrt{x (b+c x)} \left (3 A \left (-126 b^2 c x+231 b^3+56 b c^2 x^2-16 c^3 x^3\right )+13 b B x \left (63 b^2-28 b c x+8 c^2 x^2\right )\right )}{9009 b^4 x^7} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.004, size = 86, normalized size = 0.7 \begin{align*} -{\frac{ \left ( 2\,cx+2\,b \right ) \left ( -48\,A{x}^{3}{c}^{3}+104\,B{x}^{3}b{c}^{2}+168\,A{x}^{2}b{c}^{2}-364\,B{x}^{2}{b}^{2}c-378\,A{b}^{2}cx+819\,{b}^{3}Bx+693\,A{b}^{3} \right ) }{9009\,{x}^{9}{b}^{4}} \left ( c{x}^{2}+bx \right ) ^{{\frac{5}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.88053, size = 350, normalized size = 2.8 \begin{align*} -\frac{2 \,{\left (693 \, A b^{6} + 8 \,{\left (13 \, B b c^{5} - 6 \, A c^{6}\right )} x^{6} - 4 \,{\left (13 \, B b^{2} c^{4} - 6 \, A b c^{5}\right )} x^{5} + 3 \,{\left (13 \, B b^{3} c^{3} - 6 \, A b^{2} c^{4}\right )} x^{4} +{\left (1469 \, B b^{4} c^{2} + 15 \, A b^{3} c^{3}\right )} x^{3} + 7 \,{\left (299 \, B b^{5} c + 159 \, A b^{4} c^{2}\right )} x^{2} + 63 \,{\left (13 \, B b^{6} + 27 \, A b^{5} c\right )} x\right )} \sqrt{c x^{2} + b x}}{9009 \, b^{4} x^{7}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (x \left (b + c x\right )\right )^{\frac{5}{2}} \left (A + B x\right )}{x^{10}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.16835, size = 744, normalized size = 5.95 \begin{align*} \frac{2 \,{\left (12012 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{10} B c^{4} + 63063 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{9} B b c^{\frac{7}{2}} + 18018 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{9} A c^{\frac{9}{2}} + 153153 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{8} B b^{2} c^{3} + 108108 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{8} A b c^{4} + 219219 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{7} B b^{3} c^{\frac{5}{2}} + 297297 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{7} A b^{2} c^{\frac{7}{2}} + 199485 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{6} B b^{4} c^{2} + 485199 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{6} A b^{3} c^{3} + 117117 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{5} B b^{5} c^{\frac{3}{2}} + 513513 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{5} A b^{4} c^{\frac{5}{2}} + 43043 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{4} B b^{6} c + 363363 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{4} A b^{5} c^{2} + 9009 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{3} B b^{7} \sqrt{c} + 171171 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{3} A b^{6} c^{\frac{3}{2}} + 819 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{2} B b^{8} + 51597 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{2} A b^{7} c + 9009 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )} A b^{8} \sqrt{c} + 693 \, A b^{9}\right )}}{9009 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x}\right )}^{13}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]